This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lee masThis book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Lee mas